This paper followed the following essential ways on research method : the first is the cooperation and coherence of the logic base and the demonstrative theory 本论文在研究方法上,遵循了以下基本理路:一是逻辑基础和实证理论的调适与凝合。
Several years ago , professor ju shi - er advanced that reasoning could proceed based on an open world , proposing an assumption of a 3 - valued propositional logic based on an open world 鞠实儿教授在研究开放世界的逻辑过程中给出了一个开放世界的命题逻辑。
We propose a novel first - order probability logic based solution , context logic . it deals with the uncertainties in the context based on the theory of probability , while at the same time , poessing the first - order property 一阶概率逻辑可以使我们基于严格的概率模型来描述上下文中的不确定性和作相应的推理，同时它具有一阶描述能力。
16 rendell d a , cui z , cohn a g . a spatial logic based on regions and connection . international conference on knowledge representation and reasoning , 1992 , pp . 165 - 176 . 17 fiadeiro jos e l . categories for software engineering 进一步把带类型范畴的概念推广为类范畴，可以描述不完全和有缺陷的知识，以及不完全知识和有缺陷知识消除缺陷和完备化的过程。
The paper proposed agile scheduling general work logic based on agile rules , and based on which , emphasized on the research of constructing logistics scheduling optimization model and hierarchically solving algorithm with high performance 摘要在提出基于敏捷性准则的敏捷调运总体工作逻辑的基础上，重点研究了基于该准则的物流调运优化模型的构建及其高性能的递阶求解算法。
It is effective to synthesis a controller to satisfy the constrains with the forms of or - logic based on colored petri nets . however there is usually an assumption in the reported literatures that the transitions in the net are not concurrent 在已有的文献中，通过有色petri网来实现具有或逻辑形式约束条件的petri网控制器是非常有效的，但以往的文献通常假设petri网中的变迁是不能并发的。
In view of the problem of bandwidth constraints in networked control systems , a kind of stochastic communication logic based on states of systems is proposed , which is built on a state dependent poisson process and applied in common structure of states - feedback networked control systems 摘要针对网络控制系统的带宽约束问题，提出一种基于系统状态的状态依赖泊松过程决定的随机通信逻辑，并将其应用于一般结构的状态反馈网络控制系统。
The 10th australian joint conference on artificial intelligence , perth , australia , 1997 , pp . 38 - 43 . 7 he m , leung h f , jennings n r . a fuzzy logic based bidding strategy in continuous double auctions . ieee transactions on knowledge and data engineering , 2003 , 15 : 1345 - 1363 为了祛除关于信息的不现实的假定，对不确定信息进行描述和推理，在本文中，以概率论为描述不确定信息的理论基础，提出了一种新的面向agent的概率逻辑程序语言，它把概率程序和实时程序结合起来。
But the main point this essay holds is that the mainstream economists may have some problem treating the settlement of “ commission - agent ” problems as the logic base of the property reform in the state - owned enterprises . because on the one hand , “ commission - agent ” phenomena generally exist in the market economy , which lies on the base of private property rights , and the emphases on this problem never decline ; on the other hand , just as the agent problems in private economy , the opportunistic acts of agents in state - owned enterprises can be supervised and restricted as well . from this angle , “ commission - agent ” problems cannot be solved solely depending on the transfer of ownership forms theoretically 一种观点认为,由于国有企业退出不可避免地会造成国有资产流失,所以主张“放缓”或“叫停”国有企业退出以防止国有资产流失;另一种观点认为,国有企业退出中出现国有资产流失现象的主要原因在于国有资产缺乏一个公平、公开、公正的交易环境及充分竞争的交易市场,国有资产流失与改制的类型? ? “内部型改制”有关,而与国有企业退出无关,所以,主张国有企业应继续退出,但是在退出过程中要保证国有资产交易程序的公开性和竞争性。
